Describing the PGM Architectural Style †

Colorado Technical Report State University Describing the PGM Architectural Style †

The term software architectural style has recently been introduced to refer to the conventions that are used to interpret a description of a software architecture. The representation and analysis of useful architectural styles is an important problem. This paper gives an overview of a methodology developed by the authors for describing the syntax and semantics of software architectural styles w...

Describing Evolving Dependable Systems Using Co-Operative Software Architectures

This paper describes an architectural approach that facilitates the modelling and analysis of dependable systems that are built from untrustworthy components whose designs, we assume, cannot be changed. The approach is based on the definition of an architectural style in which connectors are considered as first class entities, which embody the description of collaborative behaviour between comp...

Analyzing and Re ning an Architectural Style

Architectural styles have been introduced in 1] in order to classify and analyze software architectures. In that paper, Z was used as a notation to specify and study architectural styles, however some problems remained open concerning speciication and analysis of their behavioral properties. In this paper we use a new operational semantics to describe and analyze an architectural style for dist...

GENeric Embedded SYStem Platform Report Describing the Cross- Domain Architectural Style

Describing a Top-Down Architectural Style: the PARSE Process Graph Notation

The ASDL language represents a formal methodology for modeling the software architectural styles that are used to develop complex computer systems. In previous work, ASDL has been used to model a coarse-grain dataflow style used for large-scale signal processing applications. This style incorporates a bottom-up design methodology. In this paper, the expressiveness of ASDL is demonstrated by its...